correct pkg name for dev packages
